1. First-order dynamic logic
پدیدآورنده : Harel, David, 0591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
L28
Vol
.
68